polyLʀ: Runtime Verification with Configurable Resource-Aware Monitoring Boundaries

polyLarva: Runtime Verification with Configurable Resource-Aware Monitoring Boundaries

Runtime verification techniques are increasingly being applied in industry as a lightweight formal approach to achieve added assurance of correctness at runtime. A key issue determining the adoption of these techniques is the overheads introduced by the runtime checks, affecting the performances of the monitored systems. Despite advancements in the development of optimisation techniques lowerin...

Real-Time Performance Monitoring, Adaptive Control, and Interactive Steering of Computational Grids

The scope of high-performance computing is rapidly expanding from single parallel systems to clusters of heterogeneous sequential and parallel systems. Moreover, as applications become more complex, they grow more irregular, with data-dependent execution behavior, and more dynamic, with time-varying resource demands. Consequently, even small changes in application structure can lead to large ch...

SMock - A Test Platform for Monitoring Tools

In the absence of a test framework for runtime verification tools, the evaluation and testing of such tools is an onerous task. In this paper we present the tool SMock; an easily and highly configurable mock system based on a domainspecific language providing profiling reports and enabling behaviour replayability, and specifically built to support the testing and evaluation of runtime verificat...

Runtime verification of programs using rule-based active system

Distributed system contract monitoring

Runtime verification of distributed systems poses various challenges. A pivotal challenge is the choice of how to distribute the monitors themselves across the system. On one hand, centralised monitoring may result in increased communication overhead and information exposure across locations, while, on the other hand, systems with dynamic topologies and properties are difficult to address using...